semantic consistency

[siˈmæntik kənˈsɪstənsi:]
  • 释义

    [计]语义一致性,语义相容性;

数据更新时间:2025-11-14 07:21:01
1、

The Method of the C~ 4ISR Architecture Dynamic Behavior Semantic Consistency Verification based on Middle Product

中间产品C~4ISR体系结构动态行为语义一致性验证方法

互联网摘选

2、

This paper explores the semantic consistency problem of UML class diagram, and proposes an approach to automatically check the consistency of a class diagram.

论文研究了UML类图模型的语义一致性问题,提出了一种自动检验类图一致性的方法。

互联网摘选

3、

Ontology, by way of formal specification of share concepts, provides a method to resolve the semantic heterogeneous, since it can be used to express the semantics of data sources, identify and construct the semantic relationship of the concepts, compass the semantic consistency.

本体作为共享概念的形式化说明,用于表达数据源的语义、识别和建立概念间的语义关联、达成语义一致,提供了语义异构问题的解决途径。

互联网摘选

4、

Using of information coding to ensure the semantic consistency is a prerequisite for information sharing.

采用信息编码技术,保证信息实体在企业中流通语义的一致性,是实现企业信息共享的前提。

互联网摘选

5、

Semantic Consistency Problems in Collaborative Editing

协同编辑中的语义一致性问题

互联网摘选

6、

There have already been comparatively mature solutions for the judgment of these criteria with the exception of semantic consistency.

在这几个转换标准的判定上,除语义一致性外,其它几个语法层次上的正确性问题都已有相对成熟的解决方案。

互联网摘选

7、

Semantic consistency verification of Web service composition

Web服务组合语义一致性验证研究

互联网摘选

8、

However, there are currently no mature theoretical foundations and verification tools on the analysis and judgment about semantic consistency of model transformations. The definition, description, and proof of semantic property preservation of model transformations are still problems unresolved.

而在模型转换的语义一致性验证和分析方面,目前还没有成熟的理论基础和验证工具,模型转换中语义特性保持的定义、描述和验证仍是一个尚未解决的难题。

互联网摘选

9、

Sufficient condition of integer consistency and solution method of semantic consistency is proposed.

它给出了图形协同设计系统中一致性的定义,指出图形一致性包含整体一致性和语义一致性,及其整体一致性的充分条件和语义一致性的解决方法。

互联网摘选

10、

The method, which describes software specification in XYZ/ E, can assure semantic consistency between specification and software. On the other hand, the output expectation of test cases can be automatically evaluated from the specification as a Prolog program.

该方法采用XYZ/E描述,首先确保规范与被测软件的语义一致,其次,利用XYZ/E规范的逻辑程序属性,实现了对测试用例中输出期望的Prolog自动推导求值。

互联网摘选

  • 相关词组
  • 今日热词
  • 热门搜索

纳米英语英语词典(dict.nm3.cn)为您提供在线翻译英语词典单词大全英译汉汉译英等英语服务!可按单词字数词义分类查询。支持lj:关键词格式查询例句。

用户反馈
请选择反馈类型(可多选):
您的联系方式:
反馈内容:
提交成功 小编会尽快处理
回到顶部
点击反馈